.privilege-source {
	padding: 8px;
}
.privilege-source b {
	color: #444;
}
.privilege-source a {
	font-weight: bold;
}
.privilege-source ul {
	margin-bottom: 0;
}
